241. Implementation and application of functional languages :
پدیدآورنده : Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
242. Implementation and application of functional languages
پدیدآورنده : Sven-Bodo Scholtz, Olaf Chitil (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming languages, Congresses.
243. Implementation and application of functional languages :
پدیدآورنده : Olaf Chitil, Zoltán Horváth, Viktória Zsok (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming languages, Congresses.
244. Implementation and application of functional languages : 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004 : revised selected papers
پدیدآورنده : Clemens Grelck... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
3474
245. Implementation of functional languages : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 1996 : selected papers
پدیدآورنده : Werner Kluge )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1268
246. Implementation of functional languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers
پدیدآورنده : ]volume editiors, Phil Trinder, Greg Michaelson, Ricardo Pena[
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
3145
247. Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers
پدیدآورنده : Pieter Koopman, Chris Clack )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1868
248. Implementation of functional languages : 10th International Workshop, IFL'98, London, UK, September 1998 : selected papers
پدیدآورنده : Kevin Hammond, Tony Davie, Chris Clack )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1595
249. Implementation of functional languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
پدیدآورنده : Thomas Arts, Markus Mohnen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2312
250. Implementation of functional languages: 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
62
.
I56
2000
251. Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers
پدیدآورنده : Markus Mohnen, Pieter Koopman )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2011
252. Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised papers
پدیدآورنده : Ricardo Peلa, Thomas Arts )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2670
253. Implementation of functional languages : 9th international workshop, IFL'97 : St. Andrews, Scotland, UK, September 1997 : selected papers
پدیدآورنده : Chris Clack, Kevin Hammond, Tony Davie )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1467
254. Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
پدیدآورنده : Schmid, Ute
کتابخانه: (طهران)
موضوع : ، Computer programming,، Software engineering,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2654
255. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
256. Information Systems Engineering :
پدیدآورنده : by Arne Sølvberg, David Chenho Kung.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Management information systems.,Software engineering.
رده :
T58
.
5
B937
1993
257. Information in contemporary society :
پدیدآورنده : Natalie Greene Taylor, Caitlin Christian-Lamb, Michelle H. Martin, Bonnie Nardi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Digital media-- Social aspects, Congresses.,Online social networks, Congresses.,Digital media-- Social aspects.,Online social networks.
رده :
HM851
258. Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer and Information Sciences.,Computer science.,Computer Sciences.,Data- och informationsvetenskap.,Datalogi.,Datavetenskap (datalogi),Datavetenskap.,Information technology.,Informationsteknik.,Natural Sciences.,Naturvetenskap.,TECHNOLOGY.,TEKNIKVETENSKAP.
259. Interfaces in Computer Science and Operations Research :
پدیدآورنده : edited by Richard S. Barr, Richard V. Helgason, Jeffery L. Kennington.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Economics.,Systems theory.
260. Interfaces in Computer Science and Operations Research :
پدیدآورنده : edited by Richard S. Barr, Richard V. Helgason, Jeffery L. Kennington.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Economics.,Systems theory.
رده :
QA76
.
88
E358
1997